perm filename CMSSI9.360[360,GF]1 blob
sn#803293 filedate 1986-01-12 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β0↔ε∩p_LG#~F∧ GβQp∂∧@UXβ⊗`ePβV@0λα⊗ 0⊂α⊗ 0⊂α⊗0_α∃`@_α∃`0 α∃@@(↓U@00α∃ @0α∃@8α∃@8α∀`@@α∀`0Hα∀@@Pα∀@0Xα∀ @Xα∀αE
∪bTx↓C@Tpαβ`Dhα∧Dhα∧D`α∧ D`α∧ DXα∧@DX↓ED("⊂C!x∂π@`x(∧*↓⊂(↓↓⊂0(↓↓0('A↓P 'A↓P 'A↓`_'A↓P 'A↓P_'↓↓P '↓↓@ '↓↓ ('∧)a&DIP ∧↓iP ¬A)P ε↓ @ π↓ @ π↓ @ π↓ @ π↓ @ π↓ 0 π↓ 0 εA 0 ε↓)0 ∧Ai1⊂%∧I x"Qλ1H∂Hβpp∧∃AE πT``0α∀ PXTTxαS`Dpα∪ Dhα∪D`α∩`DXα∩`DPα∩@DPα∩@DPα∩@DPα∩@DPαR`DXα∪D`αC$hβ↓`Tpλ∀↓U⊂∧⊃(D ∞λ#apββj↓λ(∧J ∧AJ ¬A)p εA p εA)p π↓ p π↓ p πA ` λ↓ ` λ↓ ` λ↓ ` λ↓ ` λiP λ↓ P λ↓ P λ↓ P λi@ λ↓ @ λ↓ @ πA @ π↓ @ π↓ 0 π↓ 0 εA 0 ¬A)0 ∧AI1⊂%∧) p"QλQP∂GC`0 Tα5 TEα∪`Dxα∪`Dxα∪`Dpα∪@Dpα∪B$p ∪"$hα∪ Dhα∪D`α∪D`α∪DXα∩`DXα∩`DX
∩BDP
⊃(D0GCapβ∧J↓⊂(∧J (↓ p 'A p 'A p '↓ ` '↓ ` '∧ Q&D P &A @ &↓ @ &↓ @ %A 0 %A 0 %A %↓λT #Fd∩∂Ca¬0π∃α∃_β↓`U⊂αB`%αTDxα∪@Dhα∪ D`α∪DXα∩`DXα∩@DPα∩@@X∧R@@X∧R@@P∧R@@xα∩@@xα∩@@xα∩@Ppα∩`@hα∩`@hα∪@`α∪ @Xα∪ `@αSB∃π∀A∧("∩βR⊂∂π@` π↓
π↓
π↓
π↓
π↓ p π↓ p π↓ p π↓ p π↓ p π↓ ` π↓ ` π↓ ` π↓ a0'¬IQ0&A↓` &A↓` &A↓` &↓↓` &↓↓` &↓↓` &↓↓` &↓↓` %A↓` %A↓` %A↓` %A↓` %A↓` %↓↓` %↓↓` "Q ⊂XπGC`0α∀Eα∀Eα∪`Dxα∪`Dxα∪`Dpα∪@Dpα∪@Dpα∪ Dhα∪ Dhα∪D`α∪D`α∪DXα∩`DXα∩`DXα∩@DPα⊃(DPεβqpλA0 -A0 -A -↓ -↓ ,A⊂ ,A⊂ ,A ,↓ ,↓
p +A
p +A
p +↓
` +↓ 0λ∧A 0_β↓) p&αI`0"Q 1p⊃GC`0αβ@Uαβ UαβUαα`Uαα@Txαα@Dxαα Dxα↓`Txα↓@Txα↓ Tpα↓ Tpα↓Tpα`Tpα@tpα!∧hα @λα∪!_α∪ p α∪ `(αS`8α∪P@αS@Pα∪@Pα∪@Xα∩`@`α∩`@`αR`@hα∩`@hαR`@pα∩@@xα∩@Aα⊃(D` ¬capβ↓
(↓
(↓ p 'A p 'A p '↓ ` '↓ ` '↓ P &A P &A @ &↓ @ &↓ @ %A 0 %A 0 %D)!λ%∧(T &I¬⊃p∂↓@aλβ∀aλβ∀aβTaβT@λC`0λα∪`@⊂C@0λα∪`@λ↓β@0λα∪`@λ↓C@λα∪`@λ↓C0⊂α∪`@λ↓B`@⊂α∪@@_↓α`0⊂α∪@@_↓α@@⊂α∪@@_↓α@0_α∪@@_↓α @_α∪@@_↓A`@ α∪ @ ↓A`@_α∪ @ ↓A@@ α∪ @ ↓A@@ α∪ @ ↓A @(α∪@(↓A @ α∪@(↓A@(α∪@0↓↓00α∪@0↓`@0α∪@0↓@@08α∩`@8↓@ @0α∩`@8↓@ 08α∩`@8βA`DXα↓``@α∩`@@αBDPαα @@α∩@A(α⊃(Dp∞HCapβ↓a0 (↓a0 (↓a0 (↓a0 (↓⊂_¬↓ p ↓a⊂ 'A _∧A p ↓a⊂ 'A ∧↓ p ↓↓↓ '↓0 βA ` α`p '↓@ β↓ ` α↓` '↓@ β↓ P αAP &A`_αA P β↓@ &A` α↓ @ βA0 &↓↓_↓A @ ∧`0 &↓↓ ↓↓ @ ∧↓ %A↓⊂ A 0 ¬`⊂ %A↓ _A 0 ¬α 0 ¬α ε↓I ε↓HT 'G∧"∂C@e(ε∃↓e⊂β↓ eλαB UαβDxαβ@Dpαβ`Dpαβ`Dhα∧ 4h↓D@D`α∧@D`↓D`DXα∧`DXα∧`DXα∧`4Pα∧`DPα∧`DPα∧`DPα∧@DPα∧@DPα∧@DPα∧ DPα∧TPα∧DXαβ@DXαβ DXαB`T`αB ThαA@Tpπ∪a5λβQ(EGCapββJ↓(∧* ∧↓J ¬↓ p ε↓ p ε↓ p ε↓ p ε↓ p ε↓ ` ε@i` ε↓ ` ¬A ` ¬↓ ` ∧↓IQλ&D Ph&A @ &↓ @ &↓ @ %A 0 %A 0 %A %↓λT (G∧"(∂C@e(ε∃↓e⊂β↓ eλαB UαB`Dxαβ TpαC@Dpαβ`Dhα∧Dhα∧ D`α∧@D`α∧@DXα∧`DXα∧`DXα∧@DPα∧`DPα∧`DPα∧`DPα∧@DPα∧@DPα∧@DPα∧ DPα↓`@0α∩@@8α↓ DXα↓@P_α∩`@8α@DXαAA$`αAA∧hαA dpπ∪aeλβ@ EHαV UPαV@UXα⊃(E⊂
πcapββJ↓λ(∧J ∧AJ ¬A p εA p εA p εA p εA p ε@i` εA ` ε↓ ` ¬A)` ∧AIaλ&D)Pp&Ap &Ap &↓↓⊂_&↓↓⊂ &↓↓⊂ &↓↓ &↓↓ %A↓0 %A↓@ %A↓@ %A↓P %A↓P %↓↓` %↓↓p "Q
1@
HβphβU!E_πT@P0αT @P↓∀Eα∪`Dxα∪`Dxα∪`DxαS`u¬∀!5⊂¬U!∃HαV@UPαV`EXα⊗`EXα⊗@EPα∩@ hα∩@@Pα∩@`0αRat`εS`t("∃β2_∂π@↓P%εI!P*A
P *↓
@ *↓
@ *↓
0 )A
0 )A
0 )↓
)↓
(A
⊂ (A
⊂ (A
(↓
(↓
'A p "Q
QP⊂Gc` αβ Dpαβ Dpαβ Dpαβ Dpαβ Dhαβ Dhαβ Dhαβ Dhαβ Dhαβ D`αβ D`αβ D`αβ D`αβ D`αβ DXαβ DXαβ DXαβ DXαβ DPαβ DPαβ DPαβ DPαβ DPαβDPαβDPαα`DPαB DXααTXβ↓d`εS!4xβ⊃(E0∞Iβap↓αP %↓"0 %Aα %Aα %Aα⊂ %Aα⊂ %A!p &↓↓` &↓↓` &↓↓P &↓↓P &↓↓@ &↓! &A↓ &A↓⊂ &A↓⊂ &A↓ &A↓_&A ` '↓P '↓P '↓@ '↓@_'↓0 '@`0_'@` '@` _'Aip8'AJ("Q
rP_GC`αβ@`pα∩@@hβC DPαβ phα∩@@hβCDXααa`α∩`@X↓@ @Xα∩`@Pα@0Xα∩`@P↓@`0Pα∩`@Hα`0Pα∩`@H↓A0Hα∩`@@α↓0Hα∩`@@↓A @8α∩`@8α↓ @8α∩`@8↓A@@0α∩`@0α↓@@0α∩`@0↓A`@0↓R`@(α↓`@(α∩`@(↓B@(↓R`@ αα@ α∪0 ↓B @ ↓S0_αα @_α∪0_↓B`0_↓S0_↓B`0⊂α∪0⊂↓C0⊂↓S0⊂↓C0⊂↓S0λ↓C 0λ↓S0λ↓C 0λ↓S`pβ∪`pβ∪PxαSPxαQ(E@⊂HCapβA"()↓↓p()↓!P()A↓@()A! (*↓!(*Ap(*A P(+↓P +↓ 0 +A +B+8,↓K⊂ ,↓Jp8+α*P(A
@(↓A
@ α↓
0 β↓
βA*⊂ ∧A
¬↓)p ε↓ ` εA)P πA @(πA)0(λA) ( ↓(T ,G$Ap∂Q_αR@Q_α∩`Qλα∩`Qα∪Ppα∪Phα∪ PXαS PPαS@@HαS@P8αS`@0αS`P αT@ α∀P⊂α∀ @λα∀!¬⊂β∀@e_α∀@E⊂α∀@E⊂α∀@5λα∀ Eλα∀ Eλ↓TEα⊃(EP∞πcapβ¬*↓((¬+p(/A` .A@(-A+0 -↓⊂ ,↓
p(+↓*` *A
@ )A* ((A*⊂ (↓ p '↓)P(&↓)@ %EI!0%¬HT 0DBQ_ Bdx¬SATp↓A@Dh↓α E@α⊗E@α∃`E¬SAT`β↓ DXαA`DPααDPααDPααDPαA dPλ∩a⊂λα∪`_α⊃(F⊂
¬capβ↓
(↓
(↓ p 'A p 'A p '↓ ` α↓)` B)`x'↓@P(&A! &A↓⊂ &A↓⊂ &A↓⊂ &↓↓ &↓↓ &↓↓ &↓↓ &↓↓⊂ %A↓ %A↓⊂ %A p(%A@@0%Ci ↓α ↓A(T 1D"Q_ Be¬∪aDpα↓@$hαα∀`α∩`DXα∩`DPα∩@DPα∩@DPα∩@DPαB ∀Xα↓@D`εS!$pβQ(F Fcap ↓@ .↓@ .↓0 -A0 -A0 -↓
(↓A
HA a'↓ P0&A↓ &↓↓⊂ %A↓ %A↓ %A↓⊂ %↓↓ %↓↓ %↓↓ %↓↓ %↓↓⊂ %↓↓⊂ %↓ p(%A @8%B`⊂ &α ⊂ '↓ 0 "QQ⊂
Db0@β∀↓$xε∪@P α∪ @8↓S@@↓R`@P↓Rb∀Xλ∩B∀Pα∩@DPα∩@DPα∩`@HR`P(α∪↓Th¬∪`d("→B⊃(∂πA00)B
H(A
(ip 'A p 'A ` %β `%β ` &A P &A P &↓ @ &↓ @ &↓ 0 %A 0 %A 0 %↓ "QqHG"0XαA E_λ∀B∃λα↓Eα↓@Dxα↓`Dxα↓`Dxα↓`Dxα↓@Dx↓A`Dxα↓ Dxα↓Txε∪A4p↓@Tp↓∪ 4hεSAdpπSα$XαB TXαα`DPαβDPαβDPαB@DXαA`T`πS!Tx∧⊃(F@
¬capβ↓
(↓
(↓ p 'A p 'A p '↓ ` α↓I` ↓α)a'↓@P(&A@p &A! &A↓⊂ &A↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %↓↓⊂ %↓↓⊂ "Q
⊂PεGcp0α∀Eα∀D8∧↓Dpα∪@Dpα∪ Dhα∪ Dhα∪D`α∪D`α∪DXα∩`DXα∩`DXα∩@DPα⊃(FP
βe↓xλ↓⊂ ,A⊂ #B↓P +A
p +A
` +↓
` +↓
P *A
P *A
P *↓
@ *↓
@ *↓
0 )A
0 )A
)↓
%@@@ %B) H&↓HT 5E#↓p∂↓@Eα∀Eα∀Dxα∪`Dxα∪`Dxα∪@DpααTpα↓`Dpα↓@Dpα↓ Dhα↓ Dhα`Thα@Dhα D`α d`¬S↓D`β T`α↓TXα↓ TXα↓@DXα↓@TXα↓`DXα↓`TPααTPαα T("≠↓0p∂π@` (↓
(↓
'A p 'A p 'A ` '↓ ` '↓ ` &A P &A P &↓ @ &↓ @ &↓ 0 %A 0 %A 0 %↓ "Q
Rλ∩∧b0 α↓`8β∪@@⊂∧A↓∀pλ!Dpβ↓!(αS `8β↓`DhαBP@α∪ @Hαα Dhαα @Hα∪@Hαα D`αα @Hα∪@Hαα D`αα @Hα∪@Hαα DXαα @Hα∩`@Hαα DXαα @Hα∩`@Hαα DXαα @Hα∩@@Hαα DPαα @Hα⊃(Fp
¬b1_α↓@0'↓ H'∧ `0αA)P0βA P(∧↓ P ∧A P ∧A @ ∧A @ ∧A @ ∧A @ ∧A @ ∧A 0 ∧A 0 ∧A 0 ∧A 0 ∧A 0 ∧A ∧A ∧AλT 7Eαq_ B eλ¬∪aTpαA ThααT`αα@D`↓B`DXαα`DXαα`DPαβDPαβDPαβDPαα`DPαα`DPαα@DXααDXαA T`εS!4xβ⊃(G¬cA_β↓@((↓⊂H(βj0α↓Ip(βA)p ∧A p ∧A p ∧A ` ¬↓ ` ¬↓ ` ¬↓ ` ¬↓ ` ∧A P ¬↓ P ∧A P(βA)P0α↓IPx&↓ @&↓0(&↓ @ %A 0 %A 0 %A %↓λT 8Eβ↓` BP_α∀↓⊂α∪a λα∪@P βS @8αS@Hα∩`PHα∩`@Pα∩`@Hα∩@@Pα∩@@Pα∩@@Pα∩@@Pα∩@@Hα∩@@Hα∩@P8αR`P βRa0λα∪↓⊂λα∪ `_α∃@E0α∃ E(α∃ E(α∃ E α∃D("≤Aq⊂ D`@ αi` ↓↓)` AI`@&AiP0&A)P &↓)@ &↓ @ &↓ 0 %A 0 %A 0 %↓ "Q∞1⊂
∧b0@∧∀↓DxεS@@8↓∪ Dhα∪ DhαS!∀p¬∪a%λ∧∃ E(α∃ DP↓α DPα↓@DPεRa4hβQ(G εDC⊃Hα↓ ` '↓ ` '↓ P %β) h%β)P &↓ @ &↓ @ %A 0 %A 0 %A %↓ %↓0⊂%α) H%AHT :Eβ↓_ @`@Hα∪ @Hα∪ @Hα∪ @Hα∪@Hα∪@Hα∪@Hα∪@Hα∩`@Hα∩`@Hα∩`@Hα∩`@Hα∩`@Hα∩@@Hα∩@@Hα∩@@@αR@@0βRB∀P¬@ D`β↓D("≥B1@ D` ¬↓ ¬↓ ∧A ∧A 0 βA 0 β@i0 β↓ 0 αA 0 αA 0 α↓ 0 α↓ @_↓A @_↓A @_↓↓ @_↓i@_↓i@_@i@8&A)P("Q∞qh⊃∧b0αα@@α∩@@8αBDPα↓`P8α∩@@0↓@ 00α∩@@0↓@00↓R@@(↓@@0(α∩@@(↓@ @(↓R@@ ↓@@@ α∩`0 ↓@`0 ↓R`0_↓A0_α∩`0_↓A0_↓R`0_↓↓ 0⊂α∩`0⊂↓A 0⊂↓R`0⊂↓↓@0λα∩`0λ↓A@0λ↓R`0λ↓↓`0λ↓R`0λ↓↓`0λ↓∩`P@β∩`P@αR`@HαQ(G@Eb1_αA↓ 'A! (↓p (AP (A@ )↓ )α*08*↓*@ *↓
00)`⊂_(@` (`@ '@`P '`p &Ap &↓↓⊂ %A↓ ("Q∂⊃@πα0(αα@Dxαα@DxαBEααEα↓`Eα↓@Eα↓@Eα↓ Eλα↓Eλα`Eλα`Eλα@Eλα@5⊂↓@@5⊂↓@ 5⊂↓@ 5⊂↓@ %⊂αT`E_↓T`5⊂↓T Eλ↓T4xα∩`tPβR@T("≡BA( D`Px'Cipp,↓
p +↓
P(*↓*@ )A
(A
'A ` &A @ %D !%∧λT εβQp∂↓B∃λTα∃α∀Dxα∪`Dxα∪`Dxα∪@Dpα∪@Dpα∪@Dhα∪ Dhα∪ D`α∪D`α∪D`α∩`DXα∩`DXα∩`DPα∩@D("$∩_∂πB@(/↓KP8.α@_↓k0 ↓↓ ↓A _α↓⊂ α↓ αA+ β↓
p βA
` ∧↓
` ∧↓*P ¬↓
@ ¬A
@ ¬A
0 ε↓* π↓
π↓
⊂ πA
λ↓* λA p ↓ ` A ` A)P
A Ap&πI2%λ(T ↓πDB∂C`u0ε∃↓u_β↓ eλαB@UαCTxαC@Dxα∧Dpα∧ Dhα∧@Dhα∧`D`α¬D`α¬DXα¬ DXα↓↓P α∩`@ ε@`DPα↓↓P α∩@@ εADPα¬ DPα¬DPα¬DPα¬DPα∧`DPα∧@DPαD DXα∧DXαβ`D`αβ D`αB@Thβ↓@dpλ∀↓E⊂βQ(@_FCapλA (-↓K⊂8,`⊂ ,`⊂ +A⊂ +@` +↓ +`0 *A@_*@`P *↓P *`` )A` )@`p )↓p )a (A↓ (↓↓⊂ (↓↓⊂('A↓ ('A↓0 '↓↓@ '↓↓@ &A↓P &@a` &↓↓` &ap %A↓p(%@b("QBλ⊃GC`0
∀β%
⊃a 8
∀"E
⊃a@λ
∩C$P
⊃(@(∞HCapβ¬J↓0(¬J π↓
π↓ p π↓ p π↓ p π↓ p π↓ p π↓ ` π↓ ` π↓ ` π↓ ` π↓ ` π↓ P π↓ P π↓ P π↓ P π↓ @ π↓ @ π↓ @ π↓ @ π↓ @ π↓ 0 π↓ 0 π↓ 0 π↓ 0 π↓ 0 π↓ π↓ π↓λT βλ$Ap∂↓C%
∀β%αT UλαT@U_αT`U αUU(αU U0αU@e8αU`E0α∃ U αT`U⊂αT UαTDxαS@ThαSβ∀XRC$("↓cR(∂G``0∧A)`Hβα)PXααI@(α`0 ↓A)0(β@0_αA 0 β@`⊂_β↓ ∧`⊂⊂βA
`0+A
`(+↓*` +↓
` +↓
` *A
P *A
P *↓
@ *↓
@ *↓
0 )A
0 )A
0 )↓
"Q↓↓P⊂πC`pα⊗E@α⊗E@α∃!¬⊂π∀"∧xβ@@λβ∪@P α`Thα↓ @(αS@0α↓@DXαA@@0α∩`@8α↓@DXα↓`@0α∩@@8α↓`DPα↓`@8α∩@@8α↓`DPα↓`@0α∩@P(α↓@DXα↓ @(αR`P α↓T`β@@λβ∪"∀xεT!¬_α∀`E_α∀@E⊂α⊃(@H∂ Capπ↓ ,↓ 0(∧↓`0%A@p β↓I 8β↓`0&↓ ` β↓)@(β↓P(&↓ ` αA @(β↓P &↓` αA @ β↓P &↓` αA @ β↓P &↓` α↓ 0(αAP %A` αA 0(αA@ &↓P α↓ @ α↓@ &↓ 0 ↓A)@(↓A (&A@⊂P'βip`(B
0 )A
0 )↓
"Q↓"⊃πcqλ∧⊗↓U0λ∃ `0β∀``PαT@PhαT@@xα∀ Aα∀AλαTA⊂α∀A⊂α∪`A⊂α∪`A⊂α∪`A⊂α∪`Aλα∪`Aλα∪`Aα∀1α∀0xα∀@p↓T@hα∀ 0`α∀ 0`↓T @P↓T@0Hα∀@0H↓T@0@↓T@0@↓T@08↓Ra 8¬RA00¬RA00¬Q(C
F$"λε↓*@@)αj⊂(↓A*⊂_β↓
β@ip ∧ip_∧A ` ∧A ` ∧A P ¬↓ P ¬↓ P ∧A @ ¬↓ @ ¬↓ @ ¬↓ @ ¬↓ @ ¬↓ 0 ¬↓ 0 ¬↓ 0 ¬↓ 0 ¬↓ 0 ∧A ¬↓ ¬↓ ∧A ∧A ∧@i0_∧↓ 0 β↓ 0 αA)0(↓A)@X&B `("Qε⊃λ
H$⊃V50αT↓%¬∀Pλα∃@E0α∃ E(α∃ E(α∃ E α∃E α∃E α∀`E_α∀`E_α∀@E⊂α∀@E⊂α∀@Eλα∀ Eλα∀ DXπ∩adPπQ(C⊂F$∩λεA*PH*αj0_αA* ⊂∧↓*⊂_∧A
_¬↓
⊂¬A p_¬A
λε↓
λε↓P .↓@ -A0 -↓⊂ ,↓
p +↓
P *↓
0 )↓
⊂_(ip_'iP_&i1⊂%∧I!⊂"Qε10HD⊂`β∃↓∃_¬T@@(α∀ 08α∀0Hα∀ Pα∀ ⊂Pα↔5Xα⊗`EPα⊗@5Hα∃`U_∧∀`e_βU`E@α⊗ EHα⊗ EHα⊗ EHα⊗DPC DP↓βDP↓α`DP↓B DXα↓ T`ε∪!$xβ⊃(C
F∧απA+⊂(,A
pλA
`⊂A
`⊂A
P⊂↓↓
@_A
0_↓↓
0_↓↓
_↓A
⊂ ↓A
⊂_↓A
↓A p α↓ ` αA ` αA P αA @ β↓ @_βA 0 βA ! %¬ ! *A
P *↓
@ *↓
@ *↓
0 )AλT ~EC∩λ⊂↓auλπT!eλα∀ Eα∀Eα∀Dxα∪`Dxα∪`@λαSaDpπ∪@` α∪@P0α∪@@8α∪@0@α⊗@5P↓V EHα⊗ EHα⊗DXCDX↓α@DP↓B@DPααDXα↓ T`ε∪!∀pβ⊃(C0
ε∧"λπ↓*`@*αJ0(α* (A
(ip '↓ ` &A@ &A @&CI@8α↓)@0β↓ @(∧↓ @ ∧A 0(∧A 0 ¬↓ 0 ¬↓ 0 ¬↓ 0 ∧A 0_¬↓ ¬↓ ¬↓ 0_∧A 0_∧A 0_∧↓ 0 βA 0 β↓ @ ↓A)@X&B)p("Qεq
H∧⊂ ∪α$X ⊗@5H↓V58α∃`50↓U 5 α∃5_↓T@E⊂↓T Eα∀Dxα∪`Dpα∪@Dhα∪ Dh↓SD`α∩`DXα∩`DXα∩@DPα⊃(C@
F$"λ¬AJ0H)αj⊂(↓A* β↓
β@ip ∧↓ p ∧↓ ` ∧↓ ` ∧↓ ` ∧↓ ` βA ` βA p αA
↓↓*⊂@(AipX'↓P &Ap_&↓↓ %A↓⊂ %A↓⊂ %↓↓ %↓↓ %↓↓ %↓↓ _%↓↓⊂ %↓↓⊂ %↓↓ %↓p %A @ %C @P'↓HT ≤EC∩⊂⊂C U(∧∀a5⊂αA5λα↓@Eλ↓B5αα4xαα 4xαα Dpαα@Dpαα@Dpαα@4pαα Dhαα@Dhαα@Dhαα@Dhαα Thαα ThααTpα↓@dpαAtxπ∪a⊂α∀ @ α⊗E@α∃`E8↓U@E(α∃DX↓A DPε∩a$hβ⊃(B ε$2λπk_,j`0*αj p(A ⊂_↓↓
⊂_↓@`@λ(`0_'@`@_'@`@_'@`@_'@`@_'@`0_'A _'A ⊂_(α
P(BJ0@*α
@_A
0_↓@j0_↓@j0_↓@j0_↓@j0_↓@J _↓@i0λβ` %`P_A (↓Ai0h&αip0(@j⊂_"Q∧ax⊃λβpxαUa¬0¬∃ @_α∃ 0 α∃0(α∃0(α∀`@(α∀`00α∀`0(α∀`0(α∀@@ α∀@@⊂αT@@λαB@∃⊂∧α`E⊂βC5_αCEλββ 5βCDx∧B@Dhα@@@P↓SP_αB4`α↓P8α∩`@0αA DXα↓@P α∩@@@α@@DPαα!∀Pαα!∧PαB dXαA! 0↓∩c4`εa4pβB d("∂aq8∂π@P8&β 0p%A` %@!⊂ *A
P *A
@ )A* ((A
'A p_'↓ `_&A P_&@iP_&@Hp(A 0 %↓ "Qπ`xλGBPXα∃E α∃D8αB 5_↓T`5⊂α∀@5⊂↓T 5λ↓T4xα∪@Dhα∪DXα∩`DPα∩@DPαα ∀PαA DXπ∪↓4hβQ(A∧αb1_α↓ ` '↓ ` &A P &A P &↓ @ &↓ @ &↓ 0 %A 0 %A 0 %↓ "Qα⊃λεπα0hα∃`E8α∃`E0α∃@E0α∃@E(α∃ E(α∃ E(α∃E α∃E α∃E_α∀`E_α∀`E⊂α∀@E⊂α∩` α∩a∀P∧Sd("ε"A8∂πA00)B* X(AP (↓` 'Ap 'Ap 'Ap 'A` 'A` '↓` '↓00'↓0('↓00'↓P(&Ap &A↓ &A↓ &A↓ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ %A↓⊂ %A↓⊂ %A↓ %Ap %A08%↓08%↓ 0"Qβ!x⊃∧b0@βA`Tx¬@a$pε@!Dp↓AA⊂ α∪ Hβ↓`5@αBE@αBE@λUαDxS!d`β↓ DXααDPαα DPααdPαα`HR@P(¬↓ 4Xε@!TXεa$`∧αd("εd"( Da⊂0¬↓*⊂PαBIph↓C `(αA ⊂(α↓ P ∧αp_&↓↓ 0∧↓ @_¬AA %A↓1⊂%A↓1λ%↓↓Aλ%↓↓@ %↓↓@ %↓↓0(%↓↓0(%↓↓ 8%A↓@∧@)0(αA ⊂0α@i@h↓C)PXαBIp0¬↓HT ∞εβ⊃`E 5pα↔ Eh↓U `λ↓TaEλεTP β∪`@0βS@@0↓@ Dpα↓ @λα∪ @(α@Dhα↓ 0_α∪@(↓AD`α↓0(α∪@_α↓ D`α@@(α∪@⊂↓A@D`α 00α∪ p(α∪ ` αSATpε∪ 0λβ∪DXα∩`4P↓Q(Ah∃
cap EKQ0.¬k0 ↓A0 ↓A ↓A⊂ α↓⊂ α↓ αA_β↓
p αA
` β↓
` β↓
P βD
@ ∧∧
@ βD
0 ∧↓
0 ∧↓
∧A
⊃λ(D*↓⊂(a0 'A↓0 '↓↓0 '↓↓0 &A↓@ &↓↓P &↓↓Q⊂%A↓Q⊂%@aa⊂"QβbX_λβpxβUCe ⊂∀``0
T PHβ∀PXαS`P`α∪`@hα∪@@hαS @pαS @pαS@xα∪1α∩`@xαR`@x R`@x R@A ∩@Aα∩@@xαR@@xαR@@xα∩@@xα∩@@xα∩@@pαR@PhαR`@hα∩`PXαS@XαSPHβ∪ `0SD∀x⊂∀@t("πcb ⊃Hβ _,A`0 +∧
Aλ)A@P0(A! ((↓! 8'A!08'A↓0_↓↓ ` ¬A &A↓0 ↓A P ¬@`P &↓↓0_β↓ @ ¬↓` %A↓ βA 0 ¬a %A↓⊂_∧↓ ∧A↓ %↓↓ ∧A ∧a %↓p_¬↓ βa0 %↓P ¬A α@a0 %↓@_¬A ↓@a@ %A⊂ ¬A 0 @a0 &↓A0 &↓! (&A@`0&D)@_C 0_α↓i0_&(T ⊂BAqp∂↓@Eα∀Eα∀E↓S`Dxα∪`Dx↓S`4pα∪@Dp↓S@4p↓S Dh↓S 4h↓S 4h↓⊃`Pλα∩`DPα∩@D("∂↓0p∂¬ p (↓
(↓λp(α@ip_'@i` 'i`_'i`_&A P_&@iP_&↓ @ &↓ @_%A 0 %A 0 %↓ "Q∧2λ∩Ica_↓α%h↓α%h↓α%`↓A`5`↓α%X↓A`5X↓α%P↓A`5P↓α%P↓α%H↓A`5H↓α%@↓A`5@↓α$`∂Sβu0↓α%(↓A`5(↓α%(↓α%(↓α% ↓A`5 ↓α% ↓α$P∂RCuλ↓A`5λ↓α%λ↓α%↓A`5↓α$x↓A`4x↓α$p↓A`4p↓α$p↓α$h↓A`4h↓α$`↓A`4`↓α$(" #B ⊃H ` λIp0πi`@εiP A↓@⊂&↓0_¬@i@_αa _%A@ ∧i0 α↓↓⊂%↓@ ∧i α↓p_%↓@ βi α↓`⊂%↓0 βi ↓AP_%↓ α@i ↓↓@_%BP⊂%A`P_&@``_β↓
P_β↓JP⊂βα
@_αA _)@`P ↓A
_β↓0 )@` α↓
⊂_β↓@ (`p α↓ p_βA@ 'a α↓ `⊂∧A@ &@a⊂ ↓A @_¬↓0 %@a@_↓↓ 0⊂εB _π↓I ⊂λ↓λT ∪AA`H∂@D`α∪D`α∪ $h↓∪$X↓∩`$P↓⊃(B@ ¬%Rλπ@k_+@j`_*@j@_)@j (A
⊂_(↓
_'A p_'↓ ` &A P &@i@ &↓ @ %A 0 %A 0 %A 0 %@i %↓ %↓ 0_%@i0_%A 0 %A @_&↓ P_&A `_'@j_"Q¬⊃λ $⊂H↓U5(↓U 50↓U@50α∃`58↓U`E8α∃`E8α∃`E8α∃`E8α∃`E8α∃`E8α∃`E0α∃@E0α∃@E(α∃ E(α∃ 5 α∃E_α∀`E⊂α∀@Eλα∀ 5α∪`Dx↓S@4h↓S4X↓R@4("
B1P H! ⊂)@j0_)@i@⊂α@`Pλ&`@⊂α↓ 00↓@ (&B⊂('αJ0(↓I`P&βI (↓` (%`@⊂α↓ ⊂α@@P⊂(j_(j⊂"Q¬1h⊃πc!⊂↓⊗`5X↓⊗`%X↓⊗@5P↓⊗@%P↓⊗@%H↓V %H↓⊗ %H↓∩CTP∞V%@↓∃`58↓∃`%8↓∃`%0↓U@%0↓∃@%0↓∃ 5(↓∃ $("pH∧@`0 &A @ &↓ P⊂&@I@⊂&I0⊂%HT ↔↓!⊂_↓@ DXα∩@DPα⊃(BxFEBλ@L_0Kp_/@K`_/KP_.@K@_.K0_-@K _,@k⊂⊂,k⊂+@jp⊂+j`⊂*@jP⊂*j@⊂)@j _)J⊂_(@J_(Ip_'@I`_'IP_&@I@_%@i0⊂%i ⊂%HT ≥α↓A_ ADpα∪@Dpα⊃a@λα∩`DPα∩@D("∞a `D`` (↓
(↓λp`↓A P &↓ @ &@IP⊂&I@⊂%@I ⊂"QπQx⊃Bb⊂∞SβT8∧βTP∞Q(DGcapπ↓j`X*βJ 0β↓
⊂(∧↓*(¬↓ p βB)` βαiP(αβ)P α↓ 00&↓P αA)@ α↓`(%A@ ∧↓ 0 α↓↓ %A@ βA) α↓↓ %↓@ ∧↓ α↓↓ %↓@ βA α↓p %↓@(αA αA@ %↓ PP%A`@%Ap(&↓ @(&AA('∧
`)αλT -Dα"`⊂B u_βT`u⊂α∀@E⊂α∀@E⊂↓T Eλα∀ Eλα∀ 5α∀Eα∀5↓S`Dxα∪`Dx↓S@Dpα∪@Dpα∪@4hα∪ Dhα∪ 4h↓SD`α∪D`↓R`DXα∩`DXα∩`4Pα∩@tPβR@t("↔"x⊗λ!⊂8)Aj08+j`_*A
P *A
P_*↓
@ *↓
@ *j0 )A
0 )A
0_)↓
)↓
_)j⊂ (A
⊂ (@j (↓
(↓
_'A p 'A p_'@i` '↓ ` 'i 8%↓i 8"Q0πB#` ↓∪ $h↓∪$X↓∩`$Pα∩@DPα∩@D("∧A↓⊂βπ@ %A @ &@i`_'↓ p_"Qα0P↓C`0α∪`Dpα∪ D`α∩`DP↓Q(A λε a`a _%@`p &`P &↓0 &B `0'AλT
Cc⊂8∂@8↓R@0@↓R@@8↓R`00↓R`@_α∩a4`∧∪@D("¬B⊃H↓ε`⊃%D !"QαpX∞↓C`_β∩a∀Pα↓4P↓A 4P↓A4P∧Sd(!@?␈␈x␈@αε?␈␈x{␈␈␈x}↓ 4p↓S 4`↓R`4Pα⊃(Bεβ@Qλ¬J⊂(&B) P%↓I _"Qa↓C`8α∀dx∧∪@@⊂α∪ 0(α∩`@8↓R@0P↓Q(ExαC`1xA %↓ "Q∂Px↓C`_α↓Dhα↓D`α↓D`↓A 4Xα↓DX↓A 4P↓A 4("∨Aq@απ @_α@i@8↓@i0h%@`00%`P "Q∂phcpλα↓DXα`DPα↓DPα↓D("αcb⊂∂πA08αAj0H↓B* P↓αJ⊂ ∧↓
∧↓
_∧@ip ∧↓ p ∧↓ p ∧↓ p ∧↓ ` ∧↓ h↓B) h↓B) h↓B)` ∧↓ P ∧↓ P ∧↓ P ∧↓ P ∧↓ @ ∧↓ @ ∧↓ @ ∧↓ @ ∧↓ @ ∧↓ 0 ∧↓ 0 ∧↓ 0 ∧↓ 0 ∧↓ 0 ∧↓ ∧↓ ∧↓λT ε¬c1x∂D`E(α@`E_β@`E⊂∧`Eλα∀E↓S`Dxα∪`Dxα∪@DPπ`DPπ`DPπ`Dpαα Dhαα Dhαα Dhαα Dhαα D`αα D`αα D`αα D`αα D`αα DXαα DXαα DXαα DXαα DXαα DPαα DPαα D("β#↓`∂πA0(↓A
08↓A
@↓A
⊂ ∧↓
∧A
_∧A p ∧A p ∧A p ∧A p ∧A ` ∧A p↓A p↓A p↓A ` ∧A P ∧A P ∧A P ∧A P ∧A @ ∧A @ ∧A @ ∧A @ ∧A @ ∧A 0 ∧A 0 ∧A 0 ∧A 0 ∧A 0 ∧A ∧A ∧AλT πλdqx∂G`E(β↓@P_α∀a(β`E⊂∧Ap_α∀ @Hα∀@Hα∀0P↓S`@Hα∪`@Hα∪`@Hα∪`@Hα∪@@Hα∩AP ∧@`DPεA↓⊂_α∩AP ∧@`Dpαα @@α∪ @HααDhαα @@α∪ @HααDhαα @@α∪@HααD`αα @@α∪@HααD`αα @@α∪@HααDXαα @@α∩`@HααDXαα @@α∩`@HααDXαα @@α∩@@HααDPαα @@α⊃(@x∩
βap¬A@`(↓A
0@αA@0 )α @8↓A
⊂ ∧Ap (↓↓⊂ ∧↓
_¬a 'A↓⊂ ∧↓ p ∧A↓ 'A↓⊂ ∧↓ p ∧A↓ '↓↓⊂ ∧↓ hαα 0 %β @H↓A hαα 0 '↓↓⊂ ∧↓ P ∧A↓ &A↓⊂ ∧↓ P ∧A↓ &A↓⊂ ∧↓ @ ∧A↓ &↓↓⊂ ∧↓ @ ∧A↓ &↓↓⊂ ∧↓ @ ∧A↓ %A↓⊂ ∧↓ 0 ∧A↓ %A↓⊂ ∧↓ 0 ∧A↓ %A↓⊂ ∧↓ ∧A↓ %↓↓⊂ ∧↓λT ⊃βbPH∂@@(α∪@(α∪@(α∪@(α∪ 8↓∪ 8↓∪ 8↓∩` 8↓∩` 8↓∩@ 8↓⊃(Bh¬C@ XαI P%αHT .βc0H∂↓ 8↓∪ 8↓∪ 8↓∪ 8↓∩` 8↓∩` 8↓∩@@(α∩@@(α∩@@(α∩@@(α⊃(GXF hEI10%¬HT >F⊂ε@%TX⊗RET(wD
⊗ 2[NFH3~,W⊂⊂⊂iU_)R=q(1[lFH7→n6_4→-V(⊂∃U@⊂≥W@:;aF07[NF00XlV⊂<]←_;|α`>∩
t→8@OX≠@OX≠␈␈␈x⎇@_␈␈␈xz⊂⎇@↓Hα≡hαB_{$`εm∧¬
∂0↓ `e⊂
6}`_∞↓!⊂y↓(1=@Axα↑hα]h{↓$⊂¬h%0¬?/0βλ Xp_≥}`8∩↓LP ↓0↑=Aαλα|εαrλ{α$@ε2H¬t/0¬λ Xp_
>`X
@↓→8XαH∧=AAHα~ ¬_X{β#⊂∧4∩@
@∂0π h0⎇∃ }`x∩@↓VλzαX≠=BX⎇P8βep{∧!@α_>pπQ←0 ¬`@≤8∪p≡a_@↓β@pα8j⎇BA8απ∞∧}P{¬"p∧∞≤
␈0¬`@≤8∀
≡a8⊃↓Axβ@α@~⎇C↓ ↓ip¬¬{ε"`βyV@πZ∂0
λ Xp_∂S>aX∩↓LP ↓xR=CA8απ∞∧X{π%ππ⊂λ∂o0∂ x␈} ⊂=>ax∩↓LP αλ:=DX⎇P8¬π0{λ!pαM7⊂λD␈0⊃¬`@≤8∃⎇}b_∪↓[ ⊂α⊂P⎇DA8απ∞βLP{ $`εm∧λh∂0∪λ``<¬∞R>b8ε@Iλ0α ¬⎇E↓⊂↓LR∧B0{
" β→$ ⊃∨0∃¬`@≤8∩;≡bX∩↓LP α(~⎇E@h↓∩⊗∧W`{!pα↑h∧o0↔β HX∩e}bx@↓β@pα(S=F↓8απ∞β0{"p∧∞≤ε'←0→¬`@≤8b↑c_@↓β@p↓Hr⎇FA8απ∞β$0{
"p∧∞≤εV?0≠¬`@≤8
D↑c8@↓β@p↓XD⎇G↓8απ∞β=⊂{∞"p∧∞≤π
?0≥β HX∪↓}cXε@Iλ0α0⊂=G@x↓&[H∧& {∂$@ε2H H←0∨¬@8a|∂π>cx|_x↓hn=H↓xα↑h∧e0{⊂#p¬?~ ∧?0!π`P|j &≡d_∞@↓(λHλ∧⎇HBλα|8H∃P{⊃#@∧x:∨0#ε@H5\↓¬↑d8∂@↓/0@⊂-⎇Iαλαt∩X,{∩!Pα%v g←0%¬@8cF ↓`↑dX⊂↓7λa_f⎇IAHα≡hE⊂{∪%π↔Y0↓∩␈0'λ XPJ`α↑↑dx⊃↓B(s@0∃⎇J↓hαPKHjP{∀$ ε <p↓`␈0)π@PS←βf↑e_
↓∩⊂`@λ⎇JAxαg@8↓ε {∃$¬S←`α∃∨0+π`P}4@∧J↑e8⊗↓xp→HR⎇K↓xα←M⊂↓(P{⊗#p¬?~ α←␈0-πPε(¬X↑eXε@L8
@α0q⎇KA8απ∞¬C_{↔!Pα1c0 hO0/¬`@≤8∀">exε@Iλ0α@S=Lh↓∩⊗∧z({_"`βyV@αt␈01ε@?→`¬z↑f_
tx`)⎇LA@α∂f8↓HP{→"@βS` β≡←03β@(β∀εL≡f8@↓β@ph:⎇M↓@α∂f8↓]P{~!0↓{ pβH←05β 0⎇`π∨↑fX@↓H;@pe⎇M@X⎇P8↓s {≠$PεCxpβo∨07ε@?→`π⎇↑fx@↓β@p↓%⎇N↓@α∂f8α 0{≤#∧∨Lp∧∨?09∧(O↓λY≡g_ dh←↓λL⎇NAλ↓>βα≤p{≥#∧∨Lp∧A?0;¬ 8J!` _≡g8∂@↓3`β@↓⊂X⎇O↓(↓rH8α40{≡"Pβe⊂p∧r∨0=¬8∩z ⎇≡gX@↓β@pα`1=OBp∧∞≤¬Fx{∨"p∧∞≤
⊗←0?¬`@≤8∀6≡gx@↓β@pα@x} ⊗.⊂=xow{⎇x